21. Introduction to symbolic logic /
پدیدآورنده : James D. Carney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematische Logik
رده :
BC135
.
C334
1970
22. Logic-based artificial intelligence /
پدیدآورنده : edited by Jack Minker.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer logic.,Logic, Symbolic and mathematical.,Intelligence artificielle.,Logique informatique.,Logique symbolique et mathématique.,Artificial intelligence.,Computer logic.,Künstliche Intelligenz,Logic, Symbolic and mathematical.,Mathematische Logik
رده :
QA76
.
9
.
L63
L62
2000
23. Logic, semantics, metamathematics :
پدیدآورنده : by Alfred Tarski ; translated by J.H. Woodger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
رده :
BC135
.
T35
1983
24. Mathematical logic
پدیدآورنده : / Wei Li
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical.,Mathematische Logik.--swd,Mathematics.
رده :
QA9
,.
L475
,
2010
25. Mathematical logic
پدیدآورنده : Ebbinghaus, Heinz-Dieter
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E2213
26. Mathematical logic
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E2213
1994
27. Mathematical logic
پدیدآورنده : Ebbinghaus, Heinz-Dieter
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E2213
1994
28. Mathematical logic
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E2213
1984
29. Mathematische Gesetze der Logik
پدیدآورنده : Schmidt, H. Arnold
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
S343
30. Mathematische Gesetze der Logik
پدیدآورنده : Schmidt, H Arnold
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
S343
31. Mathematische gesetze der logik
پدیدآورنده : Schmidt, H. Arnold
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
S35
32. Mathematische logik
پدیدآورنده : Martin Ziegler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.
33. Modern logic :
پدیدآورنده : Graeme Forbes.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Modern-- 20th century.,Logic, Symbolic and mathematical.,Logic, Modern -- 20th century.,Logic, Symbolic and mathematical.,Logique-- 20e siècle.,Logique symbolique et mathématique.,Logic, Modern.,Logic, Symbolic and mathematical.,Logik,Logique.,Mathematische Logik,Symbolische logica.,Wiskundige logica.
رده :
BC135
.
F57
1994
34. Technical methods in philosophy /
پدیدآورنده : John L. Pollock.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : First-order logic.,Logic, Symbolic and mathematical.,Metatheory.,Predicate calculus.,Set theory.,Filosofie.,First-order logic.,First-order logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik,Metatheory.,Metatheory.,Predicate calculus.,Predicate calculus.,Predicatenlogica.,Satz,Set theory.,Set theory.,Theorie,Verzamelingen (wiskunde)
رده :
BC135
.
P683
1990
